Volume 6, Issue 3, pp. 403-606
Please Note: Electronic articles are available well in advance of the printed articles.
Implementation Correctness Involving a Language with goto Statements
Bruce D. Russell
pp. 403-415
A $2.5n$-Lower Bound on the Combinational Complexity of Boolean Functions
Wolfgang J. Paul
pp. 427-443
On Resolution with Clauses of Bounded Size
Zvi Galil
pp. 444-459
The Tape Comilexity of Some Classes of Szilard Languages
Y. Igarashi
pp. 460-466
The Computational Complexity of Provability in Systems of Modal Propositional Logic
Richard E. Ladner
pp. 467-480
Linear-Time Computation by Nondeterministic Multidimensional Iterative Arrays
Joel I. Seiferas
pp. 487-504
The Partial Fraction Expansion Problem and Its Inverse
Francis Y. Chin
pp. 554-562